formal definition是什么意思_formal definition的意思_formal definition的翻译_formal definition怎么读_formal definition的音标_formal definition的发音_formal definition翻译器_formal definition的短语_formal definition速记技巧_formal definition的近义词_formal definition的反义词_formal definition的双语例句

1、

体育概念界定的原则和方法包括多维性、广义性和狭义性、正式性和非正式性。

互联网摘选

2、

介绍了测试自动机的测试驱动器设计与实现技术，给出了测试驱动器接口的测试用例、测试输出的形式化定义，提出了一种通用的客户/服务测试驱动模型及其实现技术。

互联网摘选

3、

宏定义的形参表多次使用该标识符.

网络文摘精选

4、

他们用oracle图灵机 ( OTM ) 模型给出了图灵归约的形式定义.

互联网摘选

5、

因为只有建立在允诺基础之上的契约概念，才能同时解释三种最为常见的合同&单边（unilateral）合同、双边（bilateral）合同和要式（formal）合同。

互联网摘选

6、

为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。

互联网摘选

7、

它的正式定义是什么 ?

互联网摘选

8、

程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。

互联网摘选

点击展开全部例句

mechanism[ˈmekənɪzəm] n.[生]机制，机能，[乐]机理;（机械）结构，机械装置[作用]，（故事的）结构;[艺]手法，技巧，途径;机械作用;
Japanese visa[ˌdʒæpəˈniːz ˈviːzə] 日本签证
overcome[ˌəʊvəˈkʌm] v.克服;战胜;受到…的极大影响;被熏倒;
squid[skwɪd] n.乌贼，墨鱼;鱿鱼;
feast[fiːst] n.盛会;宴会;宗教节日;使人欢快的事物（或活动）;vi.大吃大喝，享用美食;参加宴会;
so-so[ˈsəusəu] adj.一般的；普通的；中等的；不好也不差的;
alphanumeric[ˌælfənju:ˈmerɪk] adj.文字数字的，包括文字与数字的;
ballet[ˈbæleɪ] n.芭蕾舞;芭蕾舞剧;芭蕾舞团;
big mom[bɪɡ mɒm] 毕古麻姆
classmate[ˈklɑːsmeɪt] n.同班同学;
Buick[bju:ɨk] [人名] 别克;[地名] [加拿大] 比伊克;
WPS n.焊接工艺规程 Welding procedure specification;Word Processing System;文字处理系统;中文字处理系统;由金山软件公司开发;安全设置(WiFi Protected Setup)；焊接工艺规程(welding procedure specification)；焊接工艺指导书

primary[ˈpraɪməri] adj.首要的;初级的;初等教育的;n.初选;
unsupported media type[ˌʌnsəˈpɔːtɪd ˈmiːdiə taɪp] 不支持的媒体类型
borrow[ˈbɒrəʊ] vt.& vi.借入;借钱，借用;[数]由上位借;抄袭;n.借，借用;担保物，抵押;[英史]什一税;
mistake[mɪˈsteɪk] n.错误;错事;v.搞错;认错;
rain[reɪn] n.雨;（热带地区的）雨季，雨天;雨点般降落的东西;<俚>电子流;vt.& vi.（雨）降下，（使）降落;大量地给，（使）大量落下;
whom[huːm] pron.谁（who的宾格）;
bae[baɪ] abbr.Beacon antenna equipment 信标天线设备;bae公司;bachelor of aeronautical engineering 航空工程学士
subjective[səbˈdʒektɪv] adj.主观的;个人的;内省的;
dam[dæm] n.水坝，堰;水库;（牙科用的）橡皮障;〈比喻〉障碍;vt.用水坝阻止;阻塞，抑制;
vote[vəʊt] n.（选）票;投票（总数），表决，选举;投票/选举权;v.投票，表决，选举;公认;提议;
botany[ˈbɒtəni] n.植物学;精纺毛纱;细羊毛;
through[θru:] prep. 穿过;贯穿;从…一端至另一端;透过…看到;隔着…听到;自始至终;从头到尾adv. 从头到尾;彻底;自始至终;通过(障碍、阶段或测试);通过;从一端到另一端;